home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
IRIX Development Foundation for IRIX 6.3
/
SGI IRIX 6.3 Development Foundation.iso
/
docs6.3
/
insight
/
SGI_bookshelves
/
SGI_Admin
/
books
/
FLEXlm_EUM
/
styles
/
tochtml.tv
< prev
Wrap
Text File
|
1997-09-11
|
16KB
|
705 lines
<!-- Version $Revision: 1.9 $ of the TOC stylesheet -->
<!ENTITY add.left-indent CDATA "+=20" >
<!ENTITY app.text-b4 CDATA "if(isempty(attr(LBL,ancestor(APPENDIX))),'',switch(attr(LANG,ancestor(SGIDOC)),de,Anhang ,fr,Appendice ,ja_JP.EUC,╔╒╧┐ ,DEFAULT,Appendix ) attr(LBL,ancestor(APPENDIX))join('<SAMP> <','/SAMP>'))">
<!ENTITY body.font-size CDATA "12" >
<!ENTITY body.line-space CDATA "14" >
<!ENTITY chp.text-b4 CDATA "if(isempty(attr(LBL,ancestor(CHAPTER))),'',switch(attr(LANG,ancestor(SGIDOC)),de,Kapitel ,fr,Chapitre ,ja_JP.EUC,┬Φ ,DEFAULT,Chapter ) attr(LBL,ancestor(CHAPTER))switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC, ╛╧,DEFAULT,)join('<SAMP> <','/SAMP>'))">
<!ENTITY chp.title.font-family CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_gothic,DEFAULT,helvetica)" >
<!ENTITY chp.title.font-size CDATA "12" >
<!ENTITY chp.title.font-weight CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,Medium,DEFAULT,Bold)" >
<!ENTITY chp.title.left-indent CDATA "40" >
<!ENTITY chp.title.space-before CDATA "6" >
<!ENTITY doc.title.font-size CDATA "16" >
<!ENTITY doc.title.line-space CDATA "21" >
<!ENTITY left-indent.1 CDATA "4" >
<!ENTITY title-font CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_mincho,DEFAULT,new century schoolbook)" >
<!ENTITY title.font-family CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_gothic,DEFAULT,helvetica)" >
<!ENTITY title.foreground CDATA "black" >
<!ENTITY title.space-before CDATA "4" >
<!ENTITY font-slant.roman CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,*,DEFAULT,Roman)" >
<!ENTITY font-slant.italics CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,*,DEFAULT,Italics)" >
<!ENTITY font-weight.bold CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,Medium,DEFAULT,Bold)" >
<!ENTITY font-weight.medium CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,Medium,DEFAULT,Medium)" >
<!ENTITY def.font-family CDATA "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_mincho,DEFAULT,times)" >
<sheet >
<?INSTED COMMENT: GROUP #ROOT>
<group name="#ROOT">
<left-indent> &left-indent.1 </>
</group>
<?INSTED COMMENT: GROUP address>
<group name="address">
<font-slant> &font-slant.italics </>
<break-before> Line </>
<text-before><address></>
<text-after>join('<','/address>')</>
</group>
<?INSTED COMMENT: GROUP b>
<group name="b">
<font-weight> &font-weight.bold </>
<text-before><b></>
<text-after>join('<','/b>')</>
</group>
<?INSTED COMMENT: GROUP blockquote>
<group name="blockquote">
<left-indent> +=10 </>
<space-before> 14 </>
<break-before> Line </>
<text-before><blockquote></>
<text-after>join('<','/blockquote>')</>
</group>
<?INSTED COMMENT: GROUP br>
<group name="br">
<break-before> Line </>
<text-before><br></>
</group>
<?INSTED COMMENT: GROUP cite>
<group name="cite">
<font-slant> &font-slant.italics </>
<text-before><cite></>
<text-after>join('<','/cite>')</>
</group>
<?INSTED COMMENT: GROUP code>
<group name="code">
<font-family> courier </>
<text-before><code></>
<text-after>join('<','/code>')</>
</group>
<?INSTED COMMENT: GROUP dd>
<group name="dd">
<left-indent> +=55 </>
<text-before><dd></>
</group>
<?INSTED COMMENT: GROUP dir>
<group name="dir">
<left-indent> +=10 </>
<space-before> 14 </>
<break-before> Line </>
<text-before><dir></>
<text-after>join('<','/dir>')</>
</group>
<?INSTED COMMENT: GROUP dl>
<group name="dl">
<space-before> 14 </>
<break-before> Line </>
<text-before><dl></>
<text-after>join('<','/dl>')</>
</group>
<?INSTED COMMENT: GROUP dt>
<group name="dt">
<width> 50 </>
<break-before> Line </>
<text-before><dt></>
</group>
<?INSTED COMMENT: GROUP em>
<group name="em">
<font-slant> &font-slant.italics </>
<text-before><em></>
<text-after>join('<','/em>')</>
</group>
<?INSTED COMMENT: GROUP h1>
<group name="h1">
<font-weight> &font-weight.bold </>
<font-size> 24 </>
<line-spacing> 29 </>
<break-before> Line </>
<text-before><h1></>
<text-after>join('<','/h1>')</>
</group>
<?INSTED COMMENT: GROUP h2>
<group name="h2">
<font-weight> &font-weight.bold </>
<font-size> 18 </>
<line-spacing> 22 </>
<break-before> Line </>
<text-before><h2></>
<text-after>join('<','/h2>')</>
</group>
<?INSTED COMMENT: GROUP h3>
<group name="h3">
<font-weight> &font-weight.bold </>
<break-before> Line </>
<text-before><h3></>
<text-after>join('<','/h3>')</>
</group>
<?INSTED COMMENT: GROUP h4>
<group name="h4">
<font-weight> &font-weight.bold </>
<font-size> 12 </>
<line-spacing> 14 </>
<break-before> Line </>
<text-before><h4></>
<text-after>join('<','/h4>')</>
</group>
<?INSTED COMMENT: GROUP h5>
<group name="h5">
<font-weight> &font-weight.bold </>
<font-size> 10 </>
<line-spacing> 12 </>
<break-before> Line </>
<text-before><h5></>
<text-after>join('<','/h5>')</>
</group>
<?INSTED COMMENT: GROUP h6>
<group name="h6">
<font-weight> &font-weight.bold </>
<font-size> 8 </>
<line-spacing> 10 </>
<break-before> Line </>
<text-before><h6></>
<text-after>join('<','/h6>')</>
</group>
<?INSTED COMMENT: GROUP hr>
<group name="hr">
<hrule> Before </>
<text-before><hr></>
</group>
<?INSTED COMMENT: GROUP i>
<group name="i">
<font-slant> &font-slant.italics </>
<text-before><i></>
<text-after>join('<','/i>')</>
</group>
<?INSTED COMMENT: GROUP kbd>
<group name="kbd">
<font-family> courier </>
<text-before><kbd></>
<text-after>join('<','/kbd>')</>
</group>
<?INSTED COMMENT: GROUP li>
<group name="li">
<left-indent> +=10 </>
<first-indent> -10 </>
<break-before> Line </>
<text-before><li></>
</group>
<?INSTED COMMENT: GROUP menu>
<group name="menu">
<left-indent> +=10 </>
<space-before> 14 </>
<break-before> Line </>
<text-before><menu></>
<text-after>join('<','/menu>')</>
</group>
<?INSTED COMMENT: GROUP ol>
<group name="ol">
<left-indent> +=10 </>
<space-before> 14 </>
<break-before> Line </>
<text-before><ol></>
<text-after>join('<','/ol>')</>
</group>
<?INSTED COMMENT: GROUP p>
<group name="p">
<space-before> 14 </>
<break-before> Line </>
<text-before><p></>
</group>
<?INSTED COMMENT: GROUP pre>
<group name="pre">
<font-family> courier </>
<space-before> 14 </>
<justification> Verbatim </>
<break-before> Line </>
<text-before><pre></>
<text-after>join('<','/pre>')</>
</group>
<?INSTED COMMENT: GROUP samp>
<group name="samp">
<font-family> courier </>
<text-before><samp></>
<text-after>join('<','/samp>')</>
</group>
<?INSTED COMMENT: GROUP strong>
<group name="strong">
<font-weight> &font-weight.bold </>
<text-before><strong></>
<text-after>join('<','/strong>')</>
</group>
<?INSTED COMMENT: GROUP title>
<group name="title">
<font-family> &title-font </>
<font-weight> &font-weight.medium </>
<font-slant> &font-slant.roman </>
<font-size> &body.font-size </>
<foreground> &title.foreground </>
<line-spacing> &body.line-space </>
<justification> Left </>
<break-before> True </>
</group>
<style name="APPENDIX,TITLE" group="title">
<font-family> &chp.title.font-family </>
<font-weight> &font-weight.bold </>
<font-size> 12 </>
<left-indent> &chp.title.left-indent </>
<space-before> &chp.title.space-before </>
<text-before>&app.text-b4</>
</style>
<style name="CHAPTER,TITLE" group="title">
<font-family> &title.font-family </>
<font-weight> &chp.title.font-weight </>
<font-size> &chp.title.font-size </>
<left-indent> &chp.title.left-indent </>
<space-before> &chp.title.space-before </>
<text-before>&chp.text-b4</>
</style>
<style name="GLOSSARY,TITLE" group="title">
<font-family> &title.font-family </>
<font-weight> &font-weight.bold </>
<font-size> 12 </>
<space-before> &title.space-before </>
</style>
<style name="GLOSSARYENTRY" group="title">
<font-family> &title.font-family </>
<space-before> &title.space-before </>
</style>
<style name="INTRODUCTION,TITLE" group="title">
<font-family> &title.font-family </>
<font-weight> &chp.title.font-weight </>
<font-size> &chp.title.font-size </>
<space-before> &chp.title.space-before </>
</style>
<style name="PART,TITLE" group="title">
<font-family> &title.font-family </>
<font-weight> &font-weight.bold </>
<left-indent> 40 </>
<space-before> &title.space-before </>
<text-before>PART switch(attr(LBL,ancestor(PART)),I,ONE,II,TWO,III,THREE,IV,FOUR,V,FIVE,VI,SIX,VII,SEVEN,VIII,EIGHT,IX,NINE,DEFAULT,TEN) join('<SAMP> <','/SAMP>') </>
</style>
<style name="REFERENCE,TITLE" group="title">
<font-family> &title.font-family </>
<font-weight> &chp.title.font-weight </>
<font-size> &chp.title.font-size </>
<space-before> &chp.title.space-before </>
</style>
<style name="REFNAME" group="title">
<font-family> &title.font-family </>
<font-size> 12 </>
<left-indent> 60 </>
<first-indent> if(isempty(attr(LBL,ancestor(SECTION1))),0,-=25) </>
<space-before> &title.space-before </>
<text-before>if(isempty(attr(LBL,ancestor(SECTION1))),'',join(attr(LBL,ancestor(SECTION1)),' '))</>
</style>
<style name="SECTION1,TITLE" group="title">
<font-family> &title.font-family </>
<font-size> &chp.title.font-size </>
<first-indent> if(isempty(attr(LBL,ancestor(SECTION1))),0,-=25) </>
<space-before> &title.space-before </>
<text-before>if(isempty(attr(LBL,ancestor(SECTION1))),'',join(attr(LBL,ancestor(SECTION1)),' '))</>
</style>
<style name="SECTION2,TITLE" group="title">
<font-family> &title.font-family </>
<first-indent> if(isempty(attr(LBL,ancestor(SECTION2))),0,-=35) </>
<space-before> &title.space-before </>
<text-before>if(isempty(attr(LBL,ancestor(SECTION2))),'',join(attr(LBL,ancestor(SECTION2)),' '))</>
</style>
<style name="SECTION3,TITLE" group="title">
<font-family> &title.font-family </>
<space-before> &title.space-before </>
<text-before>if(isempty(attr(LBL,ancestor(SECTION3))),'',join(attr(LBL,ancestor(SECTION3)),' '))</>
</style>
<style name="SECTION4,TITLE" group="title">
<space-before> &title.space-before </>
<text-before>if(isempty(attr(LBL,ancestor(SECTION4))),'',join(attr(LBL,ancestor(SECTION4)),' '))</>
</style>
<style name="SGIDOC,TITLE" group="title">
<font-weight> &font-weight.bold </>
<font-size> &doc.title.font-size </>
<line-spacing> &doc.title.line-space </>
<space-before> &title.space-before </>
<title-tag> " </>
</style>
<style name="SPARES,TITLE" group="title">
</style>
<style name="SSB,TITLE" group="title">
</style>
<style name="TITLEPAGE,TITLE" group="title">
<font-family> &title.font-family </>
<font-weight> &font-weight.bold </>
<font-size> &doc.title.font-size </>
<line-spacing> &doc.title.line-space </>
<space-before> &title.space-before </>
</style>
<style name="WHITEPAPER,TITLE" group="title">
</style>
<?INSTED COMMENT: GROUP tt>
<group name="tt">
<font-family> courier </>
<text-before><tt></>
<text-after>join('<','/tt>')</>
</group>
<?INSTED COMMENT: GROUP ul>
<group name="ul">
<left-indent> +=10 </>
<space-before> 14 </>
<break-before> Line </>
<text-before><ul></>
<text-after>join('<','/ul>')</>
</group>
<?INSTED COMMENT: GROUP var>
<group name="var">
<font-slant> &font-slant.italics </>
<text-before><var></>
<text-after>join('<','/var>')</>
</group>
<?INSTED COMMENT: UNGROUPED STYLES FOLLOW>
<style name="#DEFAULT">
<font-family> &def.font-family </>
<font-weight> &font-weight.medium </>
<font-slant> &font-slant.roman </>
<font-video> Regular </>
<font-size> 14 </>
<line-spacing> 17 </>
</style>
<style name="#SDATA">
<text-before>switch(attr(name),trade,'(TM)',mdash,'-',DEFAULT,join('&',attr(name),';'))</>
</style>
<style name="#TAGS">
<foreground> purple </>
</style>
<!-- Style"#toc-annot" is reserved, and defines the appearance of the
bookmarks, word frequencies, location markers, etc. in left margin.
-->
<style name="#TOC-ANNOT">
<font-family> courier </>
<font-weight> &font-weight.bold </>
<font-size> 12 </>
<character-set> fontspecific </>
<foreground> magenta </>
</style>
<style name="APPENDIX">
<left-indent> if(isempty(attr(LBL)),+=20,+=95) </>
<title-tag> TITLE </>
</style>
<style name="APPENDIX,SECTION1,SECTION2">
<left-indent> if(isempty(attr(LBL)),+=14,+=35) </>
<title-tag> TITLE </>
</style>
<style name="APPENDIX,SECTION1,SECTION2,SECTION3">
<left-indent> if(isempty(attr(LBL)),+=14,-=25) </>
<title-tag> TITLE </>
</style>
<style name="APPENDIX,TITLE,#TEXT-BEFORE">
<font-weight> &font-weight.medium </>
<font-slant> &font-slant.italics </>
<font-size> 12 </>
<break-after> True </>
</style>
<style name="BUTTON">
<font-slant> &font-slant.italics </>
</style>
<style name="CHAPTER">
<left-indent> if(isempty(attr(LBL)),+=20,+=95) </>
<title-tag> TITLE </>
</style>
<style name="CHAPTER,TITLE,#TEXT-BEFORE">
<font-family> &title.font-family </>
<font-weight> &font-weight.medium </>
<font-slant> &font-slant.italics </>
<font-size> 12 </>
<break-after> True </>
</style>
<style name="COMMAND">
<font-slant> &font-slant.italics </>
</style>
<style name="EMPHASIS">
<font-slant> &font-slant.italics </>
</style>
<style name="FILENAME">
<font-slant> &font-slant.italics </>
</style>
<style name="FRONTMATTER">
<font-family> &chp.title.font-family </>
<font-weight> &chp.title.font-weight </>
<font-size> &chp.title.font-size </>
<left-indent> &chp.title.left-indent </>
<space-before> &chp.title.space-before </>
<title-tag> #TEXT-BEFORE </>
<text-before>Front Matter</>
</style>
<style name="GLOSSARY">
<left-indent> +=20 </>
<title-tag> TITLE </>
</style>
<style name="GLOSSARYTERM">
<left-indent> +=15 </>
<title-tag> GLOSSARYENTRY </>
</style>
<style name="INTRODUCTION">
<left-indent> &add.left-indent </>
<title-tag> TITLE </>
</style>
<style name="INTRODUCTION,SECTION1">
<left-indent> +=20 </>
<title-tag> TITLE </>
</style>
<style name="ITALICS">
<font-slant> &font-slant.italics </>
</style>
<style name="MANUAL">
<title-tag> FRONTMATTER,TITLEPAGE,TITLE </>
</style>
<style name="PARAGRAPH">
<font-weight> &font-weight.bold </>
</style>
<style name="PART">
<title-tag> TITLE </>
</style>
<style name="PART,TITLE,#TEXT-BEFORE">
<font-family> &title.font-family </>
<font-weight> &font-weight.medium </>
<break-after> True </>
</style>
<style name="PROGRAMNAME">
<font-slant> &font-slant.italics </>
</style>
<style name="REFENTRY">
<title-tag> REFMETA </>
</style>
<style name="REFERENCE">
<left-indent> if(isempty(attr(LBL)),+=20,+=95) </>
<title-tag> if(ancestor(APPENDIX),,TITLE) </>
</style>
<style name="REFMETA">
<font-family> &title.font-family </>
<font-size> 12 </>
<left-indent> 60 </>
<first-indent> if(isempty(attr(LBL,ancestor(SECTION1))),0,-=25) </>
<space-before> &title.space-before </>
<text-before>if(isempty(attr(LBL,ancestor(SECTION1))),'',join(attr(LBL,ancestor(SECTION1)),' '))</>
</style>
<style name="SECTION1">
<left-indent> if(isempty(attr(LBL)),-=60,-=20) </>
<title-tag> TITLE </>
</style>
<style name="SECTION2">
<left-indent> if(isempty(attr(LBL)),+=15,+=30) </>
<title-tag> TITLE </>
</style>
<style name="SECTION3">
<left-indent> if(isempty(attr(LBL)),+=10,-=15) </>
<title-tag> TITLE </>
</style>
<style name="SECTION4">
<left-indent> +=20 </>
<title-tag> TITLE </>
</style>
<style name="SPARES">
<left-indent> &add.left-indent </>
<title-tag> TITLE </>
</style>
<style name="SSB">
<left-indent> &add.left-indent </>
<title-tag> TITLE </>
</style>
<style name="SUPPORT">
<title-tag> TITLEPAGE,TITLE </>
</style>
<style name="SYM">
<font-family> symbol </>
<font-weight> Medium </>
<character-set> symbol </>
</style>
<style name="TITLE,#TEXT-BEFORE">
<font-weight> &font-weight.bold </>
</style>
<style name="VARIABLE">
<font-slant> &font-slant.italics </>
</style>
<style name="WHITEPAPER">
<left-indent> &add.left-indent </>
<title-tag> TITLE </>
</style>
</sheet>